CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an

Source URL: courses.cs.washington.edu

• Functional languages
• Procedural programming languages
• Subroutines
• Functional programming
• Type theory
• ML
• Monad
• Scope
• Recursion
• Standard ML
• Nested function
• HindleyMilner type system

02157 Functional ProgrammingFunctional Programming

Source URL: www.imm.dtu.dk

• Vectors
• Vector calculus
• Linear algebra
• Mathematical notation
• Vector
• Technical University of Denmark
• Operator
• MRH
• Euclidean vector

Haskell With Go Faster Stripes

Source URL: community.haskell.org

• Higher-order functions
• Functional programming
• Programming language comparisons
• Functional languages
• Programming paradigms
• Map
• Haskell
• Pattern matching
• Parameter
• ELI
• Haskell features
• Defunctionalization

Understanding Idiomatic Traversals Backwards and Forwards Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtl¨ander July 3rd, 2013

Source URL: www.janis-voigtlaender.eu

• Programming language comparisons
• Functional programming
• Programming idioms
• Recursion
• Monad
• Tree traversal
• Map
• Foreach loop
• Depth-first search

Exercises for lab 2 of CS2101a Instructor: Marc Moreno Maza, TA: Li Zhang Thursday 18 September

Source URL: www.csd.uwo.ca

• Array programming languages
• Object-oriented programming languages
• Functional languages
• High-level programming languages
• APL programming language family
• Number
• Function
• Julia
• J
• G-code

Informatik 2: Functional Programming Tobias Nipkow Fakult¨ at f¨ ur Informatik

Source URL: www21.in.tum.de

Path Constraints in Semistructured Databases PETER BUNEMAN  Department of Computer and Information Science, University of Pennsylvania 200 South 33rd Street, Philadelphia, PA

Source URL: homepages.inf.ed.ac.uk

• Constraint programming
• Data modeling
• Functional dependency
• Theoretical physics
• Classical mechanics
• Loop quantum gravity

CODATA-Germany Lecture Notes in Information Sciences Risk Models and Applications, 2012 ISBN8 109 pages

Source URL: codata-germany.org

• Functional programming
• Committee on Data for Science and Technology
• Coinduction
• Kremers
• Horst

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS Probabilistic Functional Programming in Haskell

Source URL: web.engr.oregonstate.edu

• Probability distributions
• Probability theory
• Probabilistic complexity theory
• Monty Hall problem
• Normalizing constant
• Expected value
• Normal distribution
• Uniform distribution
• Distribution
• Probabilistic Turing machine

Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989

Source URL: www.olejohandahl.info

• Type theory
• Mathematical logic
• Category theory
• Functional programming
• Abstract algebra
• Term algebra
• Initial algebra
• Algebraic structure
• Mathematical induction
• Term
• Sigma-algebra
• Unification